Properties of group theory